Types and Records for Predication
نویسنده
چکیده
This paper studies the use of records and dependent types in GF (Grammatical Framework) to build a grammar for predication with an unlimited number of subcategories, also covering extraction and coordination. The grammar is implemented for Chinese, English, Finnish, and Swedish, sharing the maximum of code to identify similarities and differences between the languages. Equipped with a probabilistic model and a large lexicon, the grammar has also been tested in widecoverage machine translation. The first evaluations show improvements in parsing speed, coverage, and robustness in comparison to earlier GF grammars. The study confirms that dependent types, records, and functors are useful in both engineering and theoretical perspectives.
منابع مشابه
Thermal Modeling for Predication of Automobile Cabin Air Temperature
Thermal modeling of an automotive cabin was performed in this paper to predict the inside cabin air temperature. To implement this task, thermal and ventilation loads were estimated and the mass and energy balance conservation equations for dry air and water vapor with considering a new parameter (air circulation ratio) as well as the balance equations of internal components of a cabin were de...
متن کاملPredication of couple's affective intimacy on based self compassion, emotional dysregulation and early maladaptive schema
The aim of this study was to Predication of couple's affective intimacy on based early maladaptive schema, emotional dysregulation, and self-compassion. The research method was descriptive-correlational. The statistical population of the study included all married women in District 3 of Tehran, from which 350 people were selected by convenience sampling. Data were collected using the Marital I...
متن کاملHow to Say Goodbye to the Third Man∗
In (1991), Meinwald initiated a major change of direction in the study of Plato’s Parmenides and the Third Man Argument. On her conception of the Parmenides , Plato’s language systematically distinguishes two types or kinds of predication, namely, predications of the kind ‘x is F pros ta alla’ and ‘x is F pros heauto’. Intuitively speaking, the former is the common, everyday variety of predicat...
متن کاملDataflow Predication Aaron
Predication facilitates high-bandwidth fetch and large static scheduling regions, but has typically been too complex to implement comprehensively in out-of-order microarchitectures. This paper describes dataflow predication, which provides per-instruction predication in a dataflow ISA, low predication computation overheads similar to VLIW ISAs, and low complexity out-of-order issue. A twobit fi...
متن کاملWeb Services Evaluation Predication Model based on Time Utility
Current predication models fail to consider the time utility of the web services evaluation predication and treat the different historical ratings in the same way. To solve this problem, we put forward web service evaluation predication model based on time utility. In the model, naïve quantification method and complex quantification method are proposed to achieve the distinct and proper time ut...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014